$integral dY$ max [ Y , max $integral dX$ ( WORLDBATH bath ) ]